Search Results for 'path abstraction'
path abstraction published presentations and documents on DocSlides.
On Abstraction Refinement for Program Analyses in
by giovanna-bartolotta
Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...
On Abstraction Refinement for Program Analyses in
by jane-oiler
Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang
by test
On Abstraction Refinement for Program Analyses in...